; ModuleID = ""
target triple = "x86_64-pc-linux-gnu"
target datalayout = ""

define i64 @"SECRET"(i64 %"SymVar_0") nounwind
{
.3:
  %".4" = sext i64 107672031 to i128
  %".5" = sext i64 %"SymVar_0" to i128
  %".6" = mul i128 %".4", %".5"
  %".7" = trunc i128 %".6" to i64
  %".8" = or i64 520276322, %"SymVar_0"
  %".9" = and i64 528979890, %".8"
  %".10" = and i64 %".9", %"SymVar_0"
  %".11" = zext i8 7 to i64
  %".12" = and i64 %".11", 63
  %".13" = lshr i64 %".10", %".12"
  %".14" = zext i8 57 to i64
  %".15" = and i64 %".14", 63
  %".16" = shl i64 %".10", %".15"
  %".17" = or i64 %".13", %".16"
  %".18" = add i64 %".7", %".17"
  %".19" = and i64 7, %".10"
  %".20" = zext i8 2 to i64
  %".21" = and i64 %".20", 63
  %".22" = shl i64 %".19", %".21"
  %".23" = or i64 %".18", %".22"
  %".24" = lshr i64 %".23", 56
  %".25" = trunc i64 %".24" to i8
  %".26" = zext i8 %".25" to i32
  %".27" = zext i32 %".26" to i64
  %".28" = trunc i64 %".27" to i8
  %".29" = zext i8 %".28" to i32
  %".30" = zext i32 %".29" to i64
  %".31" = trunc i64 %".30" to i8
  %".32" = zext i8 %".31" to i32
  %".33" = zext i32 %".32" to i64
  %".34" = trunc i64 %".33" to i8
  %".35" = zext i8 %".34" to i32
  %".36" = zext i32 %".35" to i64
  %".37" = trunc i64 %".36" to i8
  %".38" = zext i8 %".37" to i32
  %".39" = zext i32 %".38" to i64
  %".40" = trunc i64 %".39" to i8
  %".41" = zext i8 %".40" to i64
  %".42" = lshr i64 %".23", 8
  %".43" = trunc i64 %".42" to i8
  %".44" = zext i8 %".43" to i64
  %".45" = shl i64 %".44", 8
  %".46" = or i64 %".41", %".45"
  %".47" = lshr i64 %".23", 16
  %".48" = trunc i64 %".47" to i8
  %".49" = zext i8 %".48" to i64
  %".50" = shl i64 %".49", 16
  %".51" = or i64 %".46", %".50"
  %".52" = lshr i64 %".23", 24
  %".53" = trunc i64 %".52" to i8
  %".54" = zext i8 %".53" to i64
  %".55" = shl i64 %".54", 24
  %".56" = or i64 %".51", %".55"
  %".57" = lshr i64 %".23", 32
  %".58" = trunc i64 %".57" to i8
  %".59" = zext i8 %".58" to i64
  %".60" = shl i64 %".59", 32
  %".61" = or i64 %".56", %".60"
  %".62" = lshr i64 %".23", 40
  %".63" = trunc i64 %".62" to i8
  %".64" = zext i8 %".63" to i64
  %".65" = shl i64 %".64", 40
  %".66" = or i64 %".61", %".65"
  %".67" = lshr i64 %".23", 48
  %".68" = trunc i64 %".67" to i8
  %".69" = zext i8 %".68" to i64
  %".70" = shl i64 %".69", 48
  %".71" = or i64 %".66", %".70"
  %".72" = trunc i64 %".23" to i8
  %".73" = zext i8 %".72" to i32
  %".74" = zext i32 %".73" to i64
  %".75" = trunc i64 %".74" to i8
  %".76" = zext i8 %".75" to i32
  %".77" = zext i32 %".76" to i64
  %".78" = trunc i64 %".77" to i8
  %".79" = zext i8 %".78" to i64
  %".80" = shl i64 %".79", 56
  %".81" = or i64 %".71", %".80"
  %".82" = add i64 %".18", %".18"
  %".83" = add i64 %".82", %".82"
  %".84" = zext i8 %".40" to i64
  %".85" = zext i8 %".43" to i64
  %".86" = shl i64 %".85", 8
  %".87" = or i64 %".84", %".86"
  %".88" = zext i8 %".48" to i64
  %".89" = shl i64 %".88", 16
  %".90" = or i64 %".87", %".89"
  %".91" = zext i8 %".53" to i64
  %".92" = shl i64 %".91", 24
  %".93" = or i64 %".90", %".92"
  %".94" = zext i8 %".58" to i64
  %".95" = shl i64 %".94", 32
  %".96" = or i64 %".93", %".95"
  %".97" = zext i8 %".63" to i64
  %".98" = shl i64 %".97", 40
  %".99" = or i64 %".96", %".98"
  %".100" = zext i8 %".68" to i64
  %".101" = shl i64 %".100", 48
  %".102" = or i64 %".99", %".101"
  %".103" = zext i8 %".78" to i64
  %".104" = shl i64 %".103", 56
  %".105" = or i64 %".102", %".104"
  %".106" = and i64 7, %".105"
  %".107" = zext i8 2 to i64
  %".108" = and i64 %".107", 63
  %".109" = shl i64 %".106", %".108"
  %".110" = or i64 %".83", %".109"
  %".111" = lshr i64 %".110", 56
  %".112" = trunc i64 %".111" to i8
  %".113" = zext i8 %".112" to i32
  %".114" = zext i32 %".113" to i64
  %".115" = trunc i64 %".114" to i8
  %".116" = zext i8 %".115" to i32
  %".117" = zext i32 %".116" to i64
  %".118" = trunc i64 %".117" to i8
  %".119" = zext i8 %".118" to i32
  %".120" = zext i32 %".119" to i64
  %".121" = trunc i64 %".120" to i8
  %".122" = zext i8 %".121" to i32
  %".123" = zext i32 %".122" to i64
  %".124" = trunc i64 %".123" to i8
  %".125" = zext i8 %".124" to i32
  %".126" = zext i32 %".125" to i64
  %".127" = trunc i64 %".126" to i8
  %".128" = zext i8 %".127" to i64
  %".129" = lshr i64 %".110", 8
  %".130" = trunc i64 %".129" to i8
  %".131" = zext i8 %".130" to i64
  %".132" = shl i64 %".131", 8
  %".133" = or i64 %".128", %".132"
  %".134" = lshr i64 %".110", 16
  %".135" = trunc i64 %".134" to i8
  %".136" = zext i8 %".135" to i64
  %".137" = shl i64 %".136", 16
  %".138" = or i64 %".133", %".137"
  %".139" = lshr i64 %".110", 24
  %".140" = trunc i64 %".139" to i8
  %".141" = zext i8 %".140" to i64
  %".142" = shl i64 %".141", 24
  %".143" = or i64 %".138", %".142"
  %".144" = lshr i64 %".110", 32
  %".145" = trunc i64 %".144" to i8
  %".146" = zext i8 %".145" to i64
  %".147" = shl i64 %".146", 32
  %".148" = or i64 %".143", %".147"
  %".149" = lshr i64 %".110", 40
  %".150" = trunc i64 %".149" to i8
  %".151" = zext i8 %".150" to i64
  %".152" = shl i64 %".151", 40
  %".153" = or i64 %".148", %".152"
  %".154" = lshr i64 %".110", 48
  %".155" = trunc i64 %".154" to i8
  %".156" = zext i8 %".155" to i64
  %".157" = shl i64 %".156", 48
  %".158" = or i64 %".153", %".157"
  %".159" = trunc i64 %".110" to i8
  %".160" = zext i8 %".159" to i32
  %".161" = zext i32 %".160" to i64
  %".162" = trunc i64 %".161" to i8
  %".163" = zext i8 %".162" to i32
  %".164" = zext i32 %".163" to i64
  %".165" = trunc i64 %".164" to i8
  %".166" = zext i8 %".165" to i64
  %".167" = shl i64 %".166", 56
  %".168" = or i64 %".158", %".167"
  %".169" = and i64 %".81", %".168"
  %".170" = and i64 31, %".169"
  %".171" = zext i8 4 to i64
  %".172" = and i64 %".171", 63
  %".173" = shl i64 %".170", %".172"
  %".174" = zext i8 %".40" to i64
  %".175" = zext i8 %".43" to i64
  %".176" = shl i64 %".175", 8
  %".177" = or i64 %".174", %".176"
  %".178" = zext i8 %".48" to i64
  %".179" = shl i64 %".178", 16
  %".180" = or i64 %".177", %".179"
  %".181" = zext i8 %".53" to i64
  %".182" = shl i64 %".181", 24
  %".183" = or i64 %".180", %".182"
  %".184" = zext i8 %".58" to i64
  %".185" = shl i64 %".184", 32
  %".186" = or i64 %".183", %".185"
  %".187" = zext i8 %".63" to i64
  %".188" = shl i64 %".187", 40
  %".189" = or i64 %".186", %".188"
  %".190" = zext i8 %".68" to i64
  %".191" = shl i64 %".190", 48
  %".192" = or i64 %".189", %".191"
  %".193" = zext i8 %".78" to i64
  %".194" = shl i64 %".193", 56
  %".195" = or i64 %".192", %".194"
  %".196" = and i64 %".10", %".195"
  %".197" = and i64 31, %".196"
  %".198" = zext i8 4 to i64
  %".199" = and i64 %".198", 63
  %".200" = shl i64 %".197", %".199"
  %".201" = or i64 %".200", %".9"
  %".202" = or i64 %".173", %".201"
  %".203" = zext i8 1 to i64
  %".204" = and i64 %".203", 63
  %".205" = lshr i64 %".10", %".204"
  %".206" = and i64 15, %".205"
  %".207" = or i64 1, %".206"
  %".208" = sub i64 64, %".207"
  %".209" = trunc i64 %".208" to i32
  %".210" = zext i32 %".209" to i64
  %".211" = trunc i64 %".210" to i8
  %".212" = zext i8 %".211" to i64
  %".213" = and i64 %".212", 63
  %".214" = shl i64 %".202", %".213"
  %".215" = zext i8 1 to i64
  %".216" = and i64 %".215", 63
  %".217" = lshr i64 %".10", %".216"
  %".218" = and i64 15, %".217"
  %".219" = or i64 %".218", 1
  %".220" = trunc i64 %".219" to i32
  %".221" = zext i32 %".220" to i64
  %".222" = trunc i64 %".221" to i8
  %".223" = zext i8 %".222" to i64
  %".224" = and i64 %".223", 63
  %".225" = lshr i64 %".202", %".224"
  %".226" = or i64 %".214", %".225"
  %".227" = zext i8 %".40" to i64
  %".228" = zext i8 %".43" to i64
  %".229" = shl i64 %".228", 8
  %".230" = or i64 %".227", %".229"
  %".231" = zext i8 %".48" to i64
  %".232" = shl i64 %".231", 16
  %".233" = or i64 %".230", %".232"
  %".234" = zext i8 %".53" to i64
  %".235" = shl i64 %".234", 24
  %".236" = or i64 %".233", %".235"
  %".237" = zext i8 %".58" to i64
  %".238" = shl i64 %".237", 32
  %".239" = or i64 %".236", %".238"
  %".240" = zext i8 %".63" to i64
  %".241" = shl i64 %".240", 40
  %".242" = or i64 %".239", %".241"
  %".243" = zext i8 %".68" to i64
  %".244" = shl i64 %".243", 48
  %".245" = or i64 %".242", %".244"
  %".246" = zext i8 %".78" to i64
  %".247" = shl i64 %".246", 56
  %".248" = or i64 %".245", %".247"
  %".249" = zext i8 %".127" to i64
  %".250" = zext i8 %".130" to i64
  %".251" = shl i64 %".250", 8
  %".252" = or i64 %".249", %".251"
  %".253" = zext i8 %".135" to i64
  %".254" = shl i64 %".253", 16
  %".255" = or i64 %".252", %".254"
  %".256" = zext i8 %".140" to i64
  %".257" = shl i64 %".256", 24
  %".258" = or i64 %".255", %".257"
  %".259" = zext i8 %".145" to i64
  %".260" = shl i64 %".259", 32
  %".261" = or i64 %".258", %".260"
  %".262" = zext i8 %".150" to i64
  %".263" = shl i64 %".262", 40
  %".264" = or i64 %".261", %".263"
  %".265" = zext i8 %".155" to i64
  %".266" = shl i64 %".265", 48
  %".267" = or i64 %".264", %".266"
  %".268" = zext i8 %".165" to i64
  %".269" = shl i64 %".268", 56
  %".270" = or i64 %".267", %".269"
  %".271" = or i64 %".248", %".270"
  %".272" = and i64 15, %".271"
  %".273" = or i64 %".272", 1
  %".274" = sub i64 64, %".273"
  %".275" = trunc i64 %".274" to i32
  %".276" = zext i32 %".275" to i64
  %".277" = trunc i64 %".276" to i8
  %".278" = zext i8 %".277" to i64
  %".279" = and i64 %".278", 63
  %".280" = lshr i64 %".226", %".279"
  %".281" = zext i8 1 to i64
  %".282" = and i64 %".281", 63
  %".283" = lshr i64 %".10", %".282"
  %".284" = and i64 15, %".283"
  %".285" = or i64 1, %".284"
  %".286" = sub i64 64, %".285"
  %".287" = trunc i64 %".286" to i32
  %".288" = zext i32 %".287" to i64
  %".289" = trunc i64 %".288" to i8
  %".290" = zext i8 %".289" to i64
  %".291" = and i64 %".290", 63
  %".292" = shl i64 %".202", %".291"
  %".293" = zext i8 1 to i64
  %".294" = and i64 %".293", 63
  %".295" = lshr i64 %".10", %".294"
  %".296" = and i64 15, %".295"
  %".297" = or i64 1, %".296"
  %".298" = trunc i64 %".297" to i32
  %".299" = zext i32 %".298" to i64
  %".300" = trunc i64 %".299" to i8
  %".301" = zext i8 %".300" to i64
  %".302" = and i64 %".301", 63
  %".303" = lshr i64 %".202", %".302"
  %".304" = or i64 %".292", %".303"
  %".305" = zext i8 %".127" to i64
  %".306" = zext i8 %".130" to i64
  %".307" = shl i64 %".306", 8
  %".308" = or i64 %".305", %".307"
  %".309" = zext i8 %".135" to i64
  %".310" = shl i64 %".309", 16
  %".311" = or i64 %".308", %".310"
  %".312" = zext i8 %".140" to i64
  %".313" = shl i64 %".312", 24
  %".314" = or i64 %".311", %".313"
  %".315" = zext i8 %".145" to i64
  %".316" = shl i64 %".315", 32
  %".317" = or i64 %".314", %".316"
  %".318" = zext i8 %".150" to i64
  %".319" = shl i64 %".318", 40
  %".320" = or i64 %".317", %".319"
  %".321" = zext i8 %".155" to i64
  %".322" = shl i64 %".321", 48
  %".323" = or i64 %".320", %".322"
  %".324" = zext i8 %".165" to i64
  %".325" = shl i64 %".324", 56
  %".326" = or i64 %".323", %".325"
  %".327" = zext i8 %".40" to i64
  %".328" = zext i8 %".43" to i64
  %".329" = shl i64 %".328", 8
  %".330" = or i64 %".327", %".329"
  %".331" = zext i8 %".48" to i64
  %".332" = shl i64 %".331", 16
  %".333" = or i64 %".330", %".332"
  %".334" = zext i8 %".53" to i64
  %".335" = shl i64 %".334", 24
  %".336" = or i64 %".333", %".335"
  %".337" = zext i8 %".58" to i64
  %".338" = shl i64 %".337", 32
  %".339" = or i64 %".336", %".338"
  %".340" = zext i8 %".63" to i64
  %".341" = shl i64 %".340", 40
  %".342" = or i64 %".339", %".341"
  %".343" = zext i8 %".68" to i64
  %".344" = shl i64 %".343", 48
  %".345" = or i64 %".342", %".344"
  %".346" = zext i8 %".78" to i64
  %".347" = shl i64 %".346", 56
  %".348" = or i64 %".345", %".347"
  %".349" = or i64 %".326", %".348"
  %".350" = and i64 15, %".349"
  %".351" = or i64 %".350", 1
  %".352" = trunc i64 %".351" to i32
  %".353" = zext i32 %".352" to i64
  %".354" = trunc i64 %".353" to i8
  %".355" = zext i8 %".354" to i64
  %".356" = and i64 %".355", 63
  %".357" = shl i64 %".304", %".356"
  %".358" = or i64 %".280", %".357"
  ret i64 %".358"
}
